Isomorfismo de grupos

En teoría de grupos, se dice que dos grupos son isomorfos o isomórficos si existe un isomorfismo entre ellos, es decir, un homomorfismo de grupos biyectivo. Desde un punto de vista abstracto, los grupos isomorfos tienen la misma estructura y mismas propiedades y sólo se diferencian por los símbolos utilizados para denotar al conjunto subyacente, sus elementos y la operación.^[1]​

El isomorfismo de grupos es una relación de equivalencia, y por tanto permite clasificar los grupos «salvo isomorfismo». Cuando dos grupos son isomorfos, se dice que pertenecen a la misma clase de isomorfía o que tienen el mismo tipo de isomorfismo.^[2]​

1. ↑ «Group Isomorphism Theorems | Brilliant Math & Science Wiki». brilliant.org (en inglés estadounidense). Consultado el 10 de junio de 2019. 
2. ↑ Dummit y Foote, 2004, p. 37.